#include <string.h>
#include <stdio.h>
#include <stdlib.h>
#include <time.h>
#include "galois.h"
#include "galois_add.h"
#include <sys/time.h>

#define NBYTES 50000

void usage(char *s)
{
  if (s != NULL) fprintf(stderr, "%s\n", s);
  exit(1);
}

void print_region(unsigned char *region, int w)
{
	int i, j;

	for (i = 0; i < 40; i++) {
		if (i % (w/8) == 0) printf(" ");
		if (i == 20) printf("   ");
		printf("%4d", region[i]);
	}
	printf("\n");
}

main(int argc, char **argv)
{
	uint32_t i, j;

	for (i = 1; i < (1 << 30); i++) {
		for (j = 1; j < (1 << 30); j++) {
			if (galois_composite_multiply_k4(i, j, 32) == 0) printf("%d %d\n", i, j);
		}
	}
}
